Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
SANTIAGO JÚNIOR, V. A.; CRISTIÁ, M.; VIJAYKUMAR, N. L. Model-based test case generation using statecharts and z: a comparison and a combined approach. São José dos Campos: INPE, 2010. 70 p. IBI: <8JMKD3MGP7W/373F9JP>. (sid.inpe.br/mtc-m19@80/2010/02.26.14.05-RPQ). Disponível em: <http://urlib.net/ibi/8JMKD3MGP7W/373F9JP>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Santiago Júnior, Cristiá e Vijaykumar (2010).
... pode ser encontrada na literatura (SANTIAGO JÚNIOR; CRISTIÁ; VIJAYKUMAR, 2010).